Понятия со словосочетанием «линейное время»

Связанные понятия

Вполне упорядоченное множество — линейно упорядоченное множество M такое, что в любом его непустом подмножестве есть минимальный элемент, другими словами, это фундированное множество с линейным порядком.

Норма́льное простра́нство — топологическое пространство, удовлетворяющее аксиомам отделимости T1, T4, то есть такое топологическое пространство, в котором одноточечные множества замкнуты и любые два непересекающихся замкнутых множества отделимы окрестностями (то есть содержатся в непересекающихся открытых множествах).

Теорема о топологической цензуре в общей теории относительности утверждает, что в отсутствие экзотической материи нетривиальная топология пространства-времени не может быть обнаружена внешним наблюдателем, так как любые такие области коллапсируют настолько быстро, что свет не успевает их пересечь. Более точная формулировка утверждает, что в глобально гиперболическом и асимптотически плоском пространстве-времени, где выполняются световые энергетические условия, любая причинная кривая от светоподобной...

Подробнее: Топологическая цензура

Задача изоморфизма порождённому подграфу является NP-полной задачей разрешимости в теории сложности и теории графов. Задача заключается в поиске данного графа как порождённого подграфа другого, большего графа.

Характеристический многочлен матрицы — многочлен, определяющий её собственные значения.

Лине́йно свя́зное простра́нство — это топологическое пространство, в котором любые две точки можно соединить непрерывной кривой.

Конечное топологическое пространство — топологическое пространство, в котором существует лишь конечное число точек.

Теорема Витта — теорема о свойствах конечномерных ортогональных пространств над полями произвольного вида. Она утверждает, что любая изометрия между двумя подпространствами конечномерного ортогонального векторного пространства может быть продолжена на все пространство.

Связное пространство — непустое топологическое пространство, которое невозможно разбить на два непустых непересекающихся открытых подмножества.

Сходи́мость по ме́ре (по вероя́тности) в функциональном анализе, теории вероятностей и смежных дисциплинах — это вид сходимости измеримых функций (случайных величин), заданных на пространстве с мерой (вероятностном пространстве).

Полунорма или преднорма — обобщение понятия норма; в отличие от последней, полунорма может равняться нулю на ненулевых элементах пространства.

Гомеоморфи́зм (греч. ὅμοιος — похожий, μορφή — форма) — взаимно однозначное и взаимно непрерывное отображение топологических пространств. Иными словами, это биекция, связывающая топологические структуры двух пространств, поскольку, при непрерывности биекции, образы и прообразы открытых подмножеств являются открытыми множествами, определяющими топологии соответствующих пространств.

Трансценде́нтное число́ (от лат. transcendere — переходить, превосходить) — это вещественное или комплексное число, не являющееся алгебраическим — иными словами, число, которое не может быть корнем многочлена с целочисленными коэффициентами (не равного тождественно нулю). Можно также заменить в определении многочлены с целочисленными коэффициентами на многочлены с рациональными коэффициентами, поскольку корни у них одни и те же.

Вложение Куратовского — определённое изометрическое вложение метрического пространства в банахово пространство непрерывных ограниченных функций на нём.

Пространства Адамара (или полное CAT(0) пространство с внутренней метрикой) — нелинейное обобщение гильбертовых пространств,

Гиперобъём — некоторая мера (обычно мера Лебега), сопоставляемая внутренности «гипертел» (тел в многомерном пространстве), обобщение трёхмерного объёма.

Теорема Хольмгрена — теорема о единственности решения задачи Коши для дифференциального уравнения с частными производными в случае аналитичности коэффициентов дифференциального оператора.

Локально тривиальное расслоение — расслоение, которое локально выглядит как прямое произведение.

Теорема Мура о факторпространстве — классическое утверждение двумерной топологии, даёт достаточное условие на то, что факторпространство сферы гомеоморфно двумерной сфере.

Корасслоение — определённый тип непрерывных отображений между топологическими пространствами с определяющим свойством, двойственным к свойству поднятия гомотопий, выполняющихся для расслоений.

Теоре́ма Лебе́га о мажори́руемой сходи́мости в функциональном анализе, теории вероятностей и смежных дисциплинах — это теорема, утверждающая, что если сходящаяся почти всюду последовательность измеримых функций может быть ограничена по модулю сверху интегрируемой функцией, то все члены последовательности, а также предельная функция тоже интегрируемы. Более того, интеграл последовательности сходится к интегралу её предела.

Выпуклый многогранник — частный случай многогранника, пересечение конечного числа замкнутых полупространств.

Тривиально совершенный граф — это граф со свойством, что в каждом его порождённом подграфе размер максимального (по размеру) независимого множества равен числу максимальных клик. Тривиально совершенные графы первым изучал Волк, но название дал Голумбик. Голумбик писал, что «это название было выбрано ввиду тривиальности доказательства, что такие графы являются совершенными.» Тривиально совершенные графы известны также как графы сравнимости деревьев, древовидные графы сравнимости и квазипороговые графы...

Изометрия — биекция между метрическими пространствами, сохраняющая расстояния между точками.

В математике особой точкой векторного поля называется точка, в которой векторное поле равно нулю. Особая точка векторного поля является положением равновесия или точкой покоя динамической системы, определяемой данным векторным полем: фазовая траектория с началом в особой точке состоит в точности из этой особой точки, а соответствующая ей интегральная кривая представляет собой прямую, параллельную оси времени.

Подробнее: Особая точка (дифференциальные уравнения)

Касательное пространство Зарисского — конструкция в алгебраической геометрии, позволяющая построить касательное пространство в точке алгебраического многообразия. Эта конструкция использует не методы дифференциальной геометрии, а только методы общей, и, в более конкретных ситуациях, линейной алгебры.

Аффи́нное простра́нство — математический объект (пространство), обобщающий некоторые свойства евклидовой геометрии. В отличие от векторного пространства, аффинное пространство оперирует с объектами не одного, а двух типов: «векторами» и «точками».

Теорема о замкнутом графике — важный результат функционального анализа, устанавливающая критерий ограниченности линейного оператора между банаховыми пространствами.

То́чка — абстрактный объект в пространстве, не имеющий никаких измеримых характеристик (нульмерный объект). Точка является одним из фундаментальных понятий в математике.

Недезаргова геометрия — проективная геометрия плоскости, в которой теорема Дезарга может не иметь места.

Аксиома непрерывности — аксиома, которая встречается в различных аксиоматических системах.

Инвариантная мера — в теории динамических систем мера, определённая в фазовом пространстве, связанная с динамической системой и не изменяющаяся с течением времени при эволюции состояния динамической системы в фазовом пространстве. Понятие инвариантной меры применяется при усреднении уравнений движения, в теории показателей Ляпунова, в теории метрической энтропии и вероятностных фрактальных размерностей.

Ве́кторное (или лине́йное) простра́нство — математическая структура, которая представляет собой набор элементов, называемых векторами, для которых определены операции сложения друг с другом и умножения на число — скаляр. Эти операции подчинены восьми аксиомам. Скаляры могут быть элементами вещественного, комплексного или любого другого поля чисел. Частным случаем подобного пространства является обычное трехмерное евклидово пространство, векторы которого используются, к примеру, для представления...

Координа́тная сингуля́рность — такая сингулярность решения уравнений Эйнштейна (либо других основных уравнений метрической теории гравитации) вкупе с координатными условиями, которую можно устранить преобразованием координат. Отличается тем, что при стремлении к такой сингулярности инварианты кривизны не расходятся.

Теорема об обратной функции даёт достаточные условия для существования обратной функции в окрестности точки через производные от самой функции.

В теории графов граф сравнимости — это неориентированный граф, в котором пары элементов соединены ребром, если эти элементы сравнимы в некотором частичном порядке. Графы сравнимости также называют транзитивно-ориентируемыми графами, частично упорядочиваемыми графами и графами вложенности.

Теорема Пуанкаре о векторном поле (также известна как теорема Пуанкаре — Хопфа и теорема об индексе) — классическая теорема дифференциальной топологии и теории динамических систем;

Теорема об инвариантности области утверждает, что образ непрерывного инъективного отображения Евклидова пространства в себя открыт.

В математике, норма́льная фо́рма — простейший либо канонический вид, к которому объект приводится эквивалентными преобразованиями.

Со́бственный ве́ктор — понятие в линейной алгебре, определяемое для произвольного линейного оператора как ненулевой вектор, применение к которому оператора даёт коллинеарный вектор — тот же вектор, умноженный на некоторое скалярное значение. Скаляр, на который умножается собственный вектор под действием оператора, называется собственным числом (или собственным значением) линейного оператора, соответствующим данному собственному вектору. Одним из представлений линейного оператора является квадратная...

Коалгебра — математическая структура, которая двойственна (в смысле обращения стрелок) к ассоциативной алгебре с единицей. Аксиомы унитарной ассоциативной алгебры могут быть сформулированы в терминах коммутативных диаграмм. Аксиомы коалгебры получаются путём обращения стрелок. Каждая коалгебра c дуальностью (векторного пространства) порождает алгебру, но не наоборот. В конечномерном случае дуальность есть в обоих направлениях. Коалгебры встречаются в разных случаях (например, в универсальных обёртывающих...

Задача гамильтонова дополнения — это задача нахождения минимального числа рёбер, которое нужно добавить в граф, чтобы он стал гамильтоновым.

Подробнее: Гамильтоново дополнение

Минима́льный многочле́н ма́трицы — аннулирующий унитарный многочлен минимальной степени.

Выпуклое множество в аффинном или векторном пространстве — множество, в котором все точки отрезка, образуемого любыми двумя точками данного множества, также принадлежат данному множеству.

Индуци́рованная тополόгия — естественный способ задания топологии на подмножестве топологического пространства.

Ультрапредел — конструкция, позволяющая определить предел для широкого класса математических объектов.

Алгебраическое многообразие — центральный объект изучения алгебраической геометрии. Классическое определение алгебраического многообразия — множество решений системы алгебраических уравнений над действительными или комплексными числами. Современные определения обобщают его различными способами, но стараются сохранить геометрическую интуицию, соответствующую этому определению.

Степень трансцендентности расширения поля в общей алгебре — это величина, которая даёт грубую оценку «масштаба» расширения. Другими словами, чем больше степень трансцендентности, тем больше расширенное поле содержит трансцендентных (то есть, неалгебраических по отношению к исходному полю) элементов.